IAbGrp\{i\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$g$:IGroup\{i\}$\mid$ Comm($\mid$$g$$\mid$;$\ast$$g$)\}